$\forall$${\it es}$:ES, $e$:E. $\exists$$L$:E List. ($\forall$${\it e'}$:E. (${\it e'}$ $\in$ $L$) $\Leftarrow\!\Rightarrow$ ${\it e'}$ c$\leq$ $e$)